561. Rational Drug Design
المؤلف: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
562. Reachability problems :
المؤلف: Igor Potapov, Pierre-Alain Reynier (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
563. Real-world algorithms :
المؤلف: Panos Louridas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Popular works.,Computer programming, Popular works.,Computer algorithms.,Computer programming.
رده :
QA76
.
9
.
A43
L67
2017
564. STACS 87 :
المؤلف: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Computer science.,Computers.
565. Sams teach yourself data structures and algorithms in 24 hour
المؤلف: / Robert Lafore
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Data structures (Computer science),Computer algorithms.
رده :
QA
,
76
.
9
,.
D35
,
L357
,
1999eb
566. Sams teach yourself data structures and algorithms in 24 hours
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Data structures (Computer science) ;
567. Sams teach yourself data structures and algorithms in 24 hours /
المؤلف: Robert Lafore
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms,Data structures (Computer science)
رده :
QA76
.
9
.
D35
L357
1999
568. Scalable High Performance Computing for Knowledge Discovery and Data Mining
المؤلف: edited by Paul Stolorz, Ron Musick.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science)
رده :
QA76
.
88
E358
1998
569. Scientific visualization
المؤلف: / Georges-Pierre Bonneau, Thomas Ertl, Gregory M. Nielson, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Information visualization, Congresses,Digital computer simulation, Congresses,Computer graphics, Congresses,Science, Methodology, Congresses
570. Semantics for concurrency :
المؤلف: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems -- Parallel programming,Parallel programming (Computer science)
رده :
QA76
.
6
E358
1990
571. Sequential and parallel algorithms and data structures :
المؤلف: Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
572. Shortest path solvers :
المؤلف: Andrew Adamatzky, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
رده :
QA76
.
9
.
A43
573. Simulation and visualization on the grid :
المؤلف: [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
574. Simulation and visualization on the grid :
المؤلف: [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
رده :
QA76
.
9
.
C65
S484
2000
575. Smartphone-based indoor map construction :
المؤلف: Ruipeng Gao, Fan Ye, Guojie Luo, Jason Cong.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Indoor positioning systems (Wireless localization),Indoor positioning systems (Wireless localization),TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5103
.
48323
576. Soft Computing for Knowledge Discovery
المؤلف: by James G. Shanahan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
577. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
المؤلف: Roberto Giacobazzi )ed.(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
578. String processing and information retrieval :
المؤلف: edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
579. Structural information and communication complexity :
المؤلف: Zvi Lotker, Boaz Patt-Shamir (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
580. Swarm Intelligence :
المؤلف: Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
رده :
Q337
.
3
